Hard thermal loops in the real-time formalism

We present a systematic discussion of Braaten and Pisarski's hard thermal loop (HTL) effective theory within the framework of the real-time (Schwinger-Keldysh) formalism. As is well known, the standard imaginary-time HTL amplitudes for hot gauge theory express the polarization of a medium made out of nonabelian charged point-particles; we show that the complete real-time HTL theory includes, in addition, a second set of amplitudes which account for Gaussian fluctuations in the charge distributions, but nothing else. We give a concise set of graphical rules which generate both set of functions, and discuss its relation to classical plasma physics.Comment: 14 pages, 6 figure

Contrasting carbonate depositional systems for Pliocene cool-water limestones cropping out in central Hawke's Bay, New Zealand

Pliocene limestone formations in central Hawke's Bay (eastern North Island, New Zealand) accumulated on and near the margins of a narrow forearc basin seaway within the convergent Australia/Pacific plate boundary zone. The active tectonic setting and varied paleogeographic features of the limestone units investigated, in association with probable glacioeustatic sea-level fluctuations, resulted in complex stratigraphic architectures and contrasting types of carbonate accumulation on either side of the seaway. Here, we recognise recurring patterns of sedimentary facies, and sequences and systems tracts bounded by key physical surfaces within the limestone sheets. The facies types range from Bioclastic (B) to Siliciclastic (S) end-members via Mixed (M) carbonate-siliciclastic deposits. Skeletal components are typical cool-water associations dominated by epifaunal calcitic bivalves, bryozoans, and especially barnacles. Siliciclastic contents vary from one formation to another, and highlight siliciclastic-rich limestone units in the western ranges versus siliciclastic-poor limestone units in the eastern coastal hills. Heterogeneities in facies types, stratal patterns, and also in diagenetic pathways between eastern and western limestone units are considered to originate in the coeval occurrence in different parts of the forearc basin of two main morphodynamic carbonate systems over time

A fluid flow perspective on the diagenesis of Te Aute limestones

Pliocene cool-water, bioclastic Te Aute limestones in East Coast Basin, New Zealand, accumulated either in shelfal shoal areas or about structurally shallow growth fold structures in the tectonically active accretionary forearc prism. Up to five stages of carbonate cementation are recognised, based on cement sequence-stratigraphic concepts, that formed on the seafloor during exposure of the limestones before burial, during burial, uplift, and deformation. Two principal fluid types are identified--topography-driven meteoric fluids and compaction-driven fluids. We have developed conceptual and quantitative models that attempt to relate the physical characteristics of fluid flow to the cement paragenesis. In particular, we have simulated the effects of uplift of the axial ranges bordering East Coast Basin in terms of the degree of penetration of a meteoric wedge into the basin. The dynamics of meteoric flow changed dramatically during uplift over the last 2 m.y. such that the modelled extent of the meteoric wedge is at least 40 km across the basin, and the penetration depth 1500 m or more corresponding with measured freshwater intersections in some oil wells. Cement-fluid relationships include: (1) true marine cements that precipitated in areas remote from shallow freshwater lenses; (2) pre-compaction cements that formed in shallow freshwater lenses beneath limestone "islands"; (3) post-compaction cements derived from compaction-driven flow during burial; (4) early uplift-related fracture-fill cements formed during deformation of the accretionary prism and uplift of the axial ranges; and (5) late uplift-related cements associated with uplift into a shallow meteoric regime

Heavy Quark Thermalization in Classical Lattice Gauge Theory: Lessons for Strongly-Coupled QCD

Thermalization of a heavy quark near rest is controlled by the correlator of two electric fields along a temporal Wilson line. We address this correlator within real-time, classical lattice Yang-Mills theory, and elaborate on the analogies that exist with the dynamics of hot QCD. In the weak-coupling limit, it can be shown analytically that the dynamics on the two sides are closely related to each other. For intermediate couplings, we carry out non-perturbative simulations within the classical theory, showing that the leading term in the weak-coupling expansion significantly underestimates the heavy quark thermalization rate. Our analytic and numerical results also yield a general understanding concerning the overall shape of the spectral function corresponding to the electric field correlator, which may be helpful in subsequent efforts to reconstruct it from Euclidean lattice Monte Carlo simulations.Comment: 22 pages. v2: a reference and clarifications added; published versio

Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions

The aim of this paper is to design the polynomial construction of a finite recognizer for hairpin completions of regular languages. This is achieved by considering completions as new expression operators and by applying derivation techniques to the associated extended expressions called hairpin expressions. More precisely, we extend partial derivation of regular expressions to two-sided partial derivation of hairpin expressions and we show how to deduce a recognizer for a hairpin expression from its two-sided derived term automaton, providing an alternative proof of the fact that hairpin completions of regular languages are linear context-free.Comment: 28 page

A Study of Non-Neutral Networks with Usage-based Prices

Hahn and Wallsten wrote that network neutrality "usually means that broadband service providers charge consumers only once for Internet access, do not favor one content provider over another, and do not charge content providers for sending information over broadband lines to end users." In this paper we study the implications of non-neutral behaviors under a simple model of linear demand-response to usage-based prices. We take into account advertising revenues and consider both cooperative and non-cooperative scenarios. In particular, we model the impact of side-payments between service and content providers. We also consider the effect of service discrimination by access providers, as well as an extension of our model to non-monopolistic content providers

On the Hierarchy of Block Deterministic Languages

A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood ($k$-lookahead determinism) and by Giammarresi et al. ($k$-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each $k$-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a $k$-block deterministic regular language to a $k$-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in $k$-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in $k$-block deterministic regular languages. We also prove that there is a proper hierarchy in $k$-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of $k$-block deterministic regular languages is strictly included into the one of $k$-lookahead deterministic regular languages by showing that any $k$-block deterministic unary language is one-unambiguous

An Intuitive Automated Modelling Interface for Systems Biology

We introduce a natural language interface for building stochastic pi calculus models of biological systems. In this language, complex constructs describing biochemical events are built from basic primitives of association, dissociation and transformation. This language thus allows us to model biochemical systems modularly by describing their dynamics in a narrative-style language, while making amendments, refinements and extensions on the models easy. We demonstrate the language on a model of Fc-gamma receptor phosphorylation during phagocytosis. We provide a tool implementation of the translation into a stochastic pi calculus language, Microsoft Research's SPiM

Superpropagator and superconformal invariants

We construct a superpropagator in maximally supersymmetric Yang-Mills theory which is invariant off-shell under a chiral half of supersymmetries. Motivated by the duality with scattering amplitudes in this theory, we apply this superpropagator to supersymmeytric Wilson loop on polygonal contours. By performing explicit one-loop calculations we confirm the absence of anomalies and verify the duality between the object under study and NMHV amplitudes.Comment: 8 pages, 3 figure